/* test normal structure and its usage*/
struct t1{
	int data;
	array [100,int] a;
	bool t;
};
/*@*/
int main()
{
	int i;
	struct t1 t;
	t.t=false;
	t.data=2;
	i=0;
	while(i<100)
	{	
		t.a[i]=i;
		i=i+1;
	}
	i=0;
	while(i<100)
	{
		print(t.a[i]);
		i=i+1;
	}
	return 0;
}
/*@*/
